Modeling of a Procedural Knowledge by a Dialogue Knowledge Base

This paper depicts theoretical results obtained in the line of projects related to constructing dialogue applications based on a formal cognitive model of a human-machine dialogue. One of the aims of the paper is to propose an appropriate model of question-answering dialogue, which can be used in designing relevant computer software. The theory proposes formal descriptions of declarative and procedural knowledge of dialogue’s agents and introduces the idea of a dialogue knowledge base, which is capable of storing the procedural and the declarative knowledge of dialogue’s agents. Emphasis on declarative-procedural typology of knowledge, allows us to consider a dialogue process as a goal-oriented behavior; and, hence, as a general method of solving some classes of problems.